Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
321	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
322	Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-01 16:01:54 Graph connectivity Diagrams Models of computation Directed acyclic graph Transitive closure Reachability Unreachable memory Model checking Connected component Graph theory Mathematics Theoretical computer science
323	The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications Robert A. Hearn1 and Erik D. Demaine2 1 Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2002-07-31 20:05:58 Complexity classes Logic gates Finite model theory Boolean algebra True quantified Boolean formula Flip-flop PSPACE-complete FO IP Theoretical computer science Computational complexity theory Applied mathematics
324	Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail: Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:30:44 Philosophical logic Model theory Metalogic Modal logic Epistemic modal logic Non-monotonic logic First-order logic FO Belief revision Logic Mathematical logic Non-classical logic
325	Color version of Neural Computation 12(7):[removed], [removed]Tilt Aftereffects in a Self-Organizing Model of the Primary Visual Cortex James A. Bednar ([removed]) Risto Miikkulainen ([removed]) Add to Reading List Source URL: cogprints.org Language: English - Date: 2009-12-08 15:39:20 Neuroscience Visual system Cerebrum Neurobiology Neuron Receptive field Orientation column Cerebral cortex Topographic map Biology Nervous system Anatomy
326	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
327	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
328	Lower Bounds for the Noisy Broadcast Problem Navin Goyal ∗ [removed] Dept. of Computer Science Rutgers University Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2006-03-28 19:38:19 Computational complexity theory Communication Models of computation Asymptotic analysis Quantum information science Michael Saks Information theory Decision tree model Big O notation Theoretical computer science Applied mathematics Mathematics
329	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
330	A New Computation Model for Cluster Computing Foto N. Afrati∗, and Jeffrey D. Ullman† December 30, 2009 Abstract Implementations of map-reduce are being used to perform many operations on very large Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2009-12-30 16:05:05 Computing Bitonic sorter Algorithm External sorting Merge sort Quicksort Sorting network Randomized algorithm MapReduce Sorting algorithms Mathematics Order theory

UPDATE